minios: fix and enforce block_domain atomicity
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 8 May 2008 12:14:27 +0000 (13:14 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 8 May 2008 12:14:27 +0000 (13:14 +0100)
commit5991224aff6747d3d50e83da00659a0a277c9cc0
tree24e2e0aa6bf59a264899aa867b0ca75bbd72f38b
parentaec0c76f2272eb6551a370a24a0c53b32efbb9bf
minios: fix and enforce block_domain atomicity

To ensure that the timer event is not lost, block_domain requires that
event delivery is disabled.  SCHEDOP_block re-enables them, so for
coherency (and fixing a bug actually), we should re-disable them
after. Also, make sure that the caller disabled them.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
extras/mini-os/arch/x86/time.c